On Helmholtz free energy for finite abstract simplicial complexes
نویسنده
چکیده
We prove first that for the Barycentric refinement G1 of a finite abstract simplicial complexG, the Gauss-Bonnet formula χ(G) = ∑ xK (x) holds, where K(x) = (−1)(1−χ(S(x))) is the curvature of a vertex x with unit sphere S(x) in the graph G1. This curvature is dual toK −(x) = (−1) for which GaussBonnet is the definition of Euler characteristic χ(G). Because the connection Laplacian L′ = 1+A′ of an abstract simplicial complex G is unimodular, where A′ is the adjacency matrix of the connection graph G′, the Green function values g(x, y) = (1 + A′)−1 xy are integers and 1 − χ(S(x)) = g(x, x). Gauss-Bonnet for K reads therefore as str(g) = χ(G), where str is the super trace. As g is a time-discrete heat kernel, this is a cousin to McKean-Singer str(e−Lt) = χ(G) for the Hodge Laplacian L = (d+d∗)2 which lives on the same Hilbert space than L′. Both formulas hold for an arbitrary finite abstract simplicial complex G. Writing Vx(y) = g(x, y) for the Newtonian potential of the connection Laplacian, we prove ∑ y Vx(y) = K (x), so that by the new Gauss-Bonnet formula, the Euler characteristic of G agrees with the total potential theoretic energy ∑ x,y g(x, y) = χ(G) of G. The curvature K + now relates to the probability measure p minimizing the internal energy U(p) = ∑ x,y g(x, y)p(x)p(y) of the complex. Since both the internal energy (here linked to topology) and Shannon entropy are natural and unique in classes of functionals, we then look at critical points p the Helmholtz free energy F (p) = βU(p) − TS(p) which combines the energy functional U and the entropy functional S(p) = − ∑ x p(x) log(p(x)). As the temperature T = 1− β changes, we observe bifurcation phenomena. Already for G = K3 both a saddle node bifurcation and a pitchfork bifurcation occurs. The saddle node bifurcation leads to a catastrophe: the function β → F (p(β), β) is discontinuous if p(β) is a free energy minimizer. Date: Mar 18, 2017. 1991 Mathematics Subject Classification. Primary: 05E45, 94A17, 82Bxx, Secondary: 31C20, 58K35 .
منابع مشابه
New methods for constructing shellable simplicial complexes
A clutter $mathcal{C}$ with vertex set $[n]$ is an antichain of subsets of $[n]$, called circuits, covering all vertices. The clutter is $d$-uniform if all of its circuits have the same cardinality $d$. If $mathbb{K}$ is a field, then there is a one-to-one correspondence between clutters on $V$ and square-free monomial ideals in $mathbb{K}[x_1,ldots,x_n]$ as follows: To each clutter $mathcal{C}...
متن کاملSOLVABILITY OF FREE PRODUCTS, CAYLEY GRAPHS AND COMPLEXES
In this paper, we verify the solvability of free product of finite cyclic groups with topological methods. We use Cayley graphs and Everitt methods to construct suitable 2-complexes corresponding to the presentations of groups and their commutator subgroups. In particular, using these methods, we prove that the commutator subgroup of $mathbb{Z}_{m}*mathbb{Z}_{n}$ is free of rank $(m-1)(n-1)$ fo...
متن کاملOn a special class of Stanley-Reisner ideals
For an $n$-gon with vertices at points $1,2,cdots,n$, the Betti numbers of its suspension, the simplicial complex that involves two more vertices $n+1$ and $n+2$, is known. In this paper, with a constructive and simple proof, wegeneralize this result to find the minimal free resolution and Betti numbers of the $S$-module $S/I$ where $S=K[x_{1},cdots, x_{n}]$ and $I$ is the associated ideal to ...
متن کاملCohen-Macaulay-ness in codimension for simplicial complexes and expansion functor
In this paper we show that expansion of a Buchsbaum simplicial complex is $CM_t$, for an optimal integer $tgeq 1$. Also, by imposing extra assumptions on a $CM_t$ simplicial complex, we provethat it can be obtained from a Buchsbaum complex.
متن کاملVertex Decomposable Simplicial Complexes Associated to Path Graphs
Introduction Vertex decomposability of a simplicial complex is a combinatorial topological concept which is related to the algebraic properties of the Stanley-Reisner ring of the simplicial complex. This notion was first defined by Provan and Billera in 1980 for k-decomposable pure complexes which is known as vertex decomposable when . Later Bjorner and Wachs extended this concept to non-pure ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- CoRR
دوره abs/1703.06549 شماره
صفحات -
تاریخ انتشار 2017